Cranelift IR

浮動小数点の平均を計算するC言語ソースコード

code:memo.c

float

average(const float *array, size_t count)

{

double sum = 0;

for (size_t i = 0; i < count; i++)

return sum / count;

}

Cranelift IRに変換されたもの

code:memo.clif

test verifier

function %average(i32, i32) -> f32 system_v {

block1(v0: i32, v1: i32):

v2 = f64const 0x0.0

stack_store v2, ss0

brz v1, block5 ; Handle count == 0.

jump block2

block2:

v3 = iconst.i32 0

jump block3(v3)

block3(v4: i32):

v5 = imul_imm v4, 4

v6 = iadd v0, v5

v8 = fpromote.f64 v7

v9 = stack_load.f64 ss0

v10 = fadd v8, v9

stack_store v10, ss0

v11 = iadd_imm v4, 1

v12 = icmp ult v11, v1

brnz v12, block3(v11) ; Loop backedge.

jump block4

block4:

v13 = stack_load.f64 ss0

v14 = fcvt_from_uint.f64 v1

v15 = fdiv v13, v14

v16 = fdemote.f32 v15

return v16

block5:

v100 = f32const +NaN

return v100

}

確認用

Q. Cranerift IR

関連